en axiom of dependent choice
― DerivedFrom ⟶
Weight: 1.0
en axiom of choice (n) Source: English Wiktionary